is z[x] a euclidean domain